(assert (forall ((q46 Int) (q47 Int) (q48 Int) (q49 Int) (q50 Int) (q51 Int) (q52 Bool)) (>= 0 0 (div q51 942))))
(assert (forall ((q68 Int) (q69 Int) (q70 Int) (q71 Bool)) true))
(check-sat)
(assert (forall ((q37 (_ BitVec 17)) (q38 (_ BitVec 17)) (q39 (_ BitVec 17)) (q40 (_ BitVec 17)) (q41 (_ BitVec 17)) (q42 (_ BitVec 7))) true))
(assert (forall ((q95 (_ BitVec 17)) (q96 (_ BitVec 17)) (q97 (_ BitVec 17)) (q98 (_ BitVec 17)) (q99 (_ BitVec 17)) (q100 (_ BitVec 17)) (q101 (_ BitVec 17)) (q102 (_ BitVec 17)) (q103 (_ BitVec 17)) (q104 (_ BitVec 17)) (q105 (_ BitVec 17)) (q106 (_ BitVec 17)) (q107 (_ BitVec 17)) (q108 (_ BitVec 17)) (q109 (_ BitVec 17)) (q110 (_ BitVec 1))) (distinct (_ bv0 17) q95)))
(check-sat)
